Jump to content
Forumu Destekleyenlere Katılın ×
Paticik Forumları
2000 lerden beri faal olan, çok şukela bir paylaşım platformuyuz. Hoşgeldiniz.

Hebele


Dev

Öne çıkan mesajlar

Garbage'i yedek olarak kullanmak geldi aklima, kusura bakmayin.

(defun get-rid-of-imp (pattern)
(setq typelist '(and or imp for-all exists))
(if (equal 'imp (nth 0 pattern)) (and (setcar pattern 'or) (setcar (cdr pattern) (list 'not (cadr pattern)))))
(if (not (atom (nth 1 pattern))) (get-rid-of-imp (nth 1 pattern)))
(if (and (member (nth 0 pattern) typelist) (not (atom (nth 2 pattern)))) (get-rid-of-imp (nth 2 pattern)))
pattern
)

(get-rid-of-imp '(for-all x (for-all y (imp (and (p x) (q y)) (r x y)))))
Link to comment
Sosyal ağlarda paylaş

YIHI
public partial class Form1 : Form
{
public Form1()
{
InitializeComponent();
}

private void button1_Click(object sender, EventArgs e)
{
Form1.ActiveForm.Close();
}

private void button2_Click(object sender, EventArgs e)
{
this.WindowState = FormWindowState.Minimized;
}

private void trackBar1_Scroll(object sender, EventArgs e)
{
Form1.ActiveForm.Opacity = (double)trackBar1.Value/10;
}
}
Link to comment
Sosyal ağlarda paylaş

manyak misin demeyin format atmam gerekebilir her an.

(defun get-neg-inwards (pat)
(setq typelist2 '(and or imp for-all exists))
(cond ((atom pat) pat)
((and (equal (car pat) 'not) (atom (cadr pat))) pat)
((member (car pat) typelist2) (and (setcar (cdr pat) (get-neg-inwards (nth 1 pat))) (setcar (cdr (cdr pat)) (get-neg-inwards (nth 2 pat))) pat))
((and (equal (car pat) 'not) (and (not (atom (cadr pat))) (equal (car (cadr pat)) 'not))) (get-neg-inwards (cadr (cadr pat))))
((and (equal (car pat) 'not) (equal (car (cadr pat)) 'and)) (and (setq pat (list 'or (list 'not (nth 1 (cadr pat))) (list 'not (nth 2 (cadr pat))))) (setcar (cdr pat) (get-neg-inwards (nth 1 pat))) (setcar (cdr (cdr pat)) (get-neg-inwards (nth 2 pat))) pat))
((and (equal (car pat) 'not) (equal (car (cadr pat)) 'or)) (and (setq pat (list 'and (list 'not (nth 1 (cadr pat))) (list 'not (nth 2 (cadr pat))))) (setcar (cdr pat) (get-neg-inwards (nth 1 pat))) (setcar (cdr (cdr pat)) (get-neg-inwards (nth 2 pat))) pat))
((and (equal (car pat) 'not) (equal (car (cadr pat)) 'for-all)) (and (setq pat (list 'exists (nth 1 (cadr pat)) (list 'not (nth 2 (cadr pat))))) (setcar (cdr pat) (get-neg-inwards (nth 1 pat))) (setcar (cdr (cdr pat)) (get-neg-inwards (nth 2 pat))) pat))
((and (equal (car pat) 'not) (equal (car (cadr pat)) 'exists)) (and (setq pat (list 'for-all (nth 1 (cadr pat)) (list 'not (nth 2 (cadr pat))))) (setcar (cdr pat) (get-neg-inwards (nth 1 pat))) (setcar (cdr (cdr pat)) (get-neg-inwards (nth 2 pat))) pat))
(t pat))
)
Link to comment
Sosyal ağlarda paylaş

Web Images Video News Maps Gmail more


Sign inGoogle
Advanced Search
Preferences


"Mesaj" (and any subsequent words) was ignored because we limit queries to 32 words.


Web


Your search - [ Paticik.com | Forum | VIKI | Özel Mesaj | MyPati | Bilgi ]+ [ Aktivasyon ] + online! FromTheHell olarak bağlısınız [ çıkış yap ] FORUM.PATICIK.COM [ FORUM ANASAYFA ] [ GÜNCEL BAŞLIKLAR ] [ ARAMA ] Mesaj [ yardim -? ] İmzamı Ekle [ Paticik.com | Forum | VIKI | Özel Mesaj | MyPati | Bilgi ] Copyright 2001-2006 @ Paticik.Com | Another Paticik.com project | test... - did not match any documents.

Suggestions:
Make sure all words are spelled correctly.
Try different keywords.
Try more general keywords.
Try fewer keywords.



©2007 Google - Google Home - Advertising Programs - Business Solutions - About Google
Link to comment
Sosyal ağlarda paylaş

×
×
  • Yeni Oluştur...