logika
artur: CNF Jak przeprowadzić dowód tego twierdzenia?
6 lis 11:29
6 lis 13:15
Jack:
nie bardzo rozumiem, chcesz algorytmu na otrzymywanie AK lub KA czy jakiegoś twierdzenia
mówiącego że jest to możliwe?
6 lis 13:54
artur: dowodu, czyli że możemy z tego skorzystać
6 lis 14:27
artur: 
6 lis 16:45