/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : all_kb_ab_CndNF_554796638-554796638.cl
* Type       : KB
* Domain     : all KBs over {a,b} in CndNF
* Date       : 2023-12-21
* Version    : v1.0
* 
* Details    : Signature size        : 2
*              #Conditionals per KB  : 20
* 
* Refs       : [Pri19] T. Prinz (2019). Ein Ansatz zur Generierung und Speicherung konditionaler Wissensbasen und induzierter Inferenzrelationen, Master Thesis, Univ. of Hagen, Germany.
*
* Comments   : 
*
****************************************************************/

signature
   a,b 

conditionals
kb_ab_CndNF_554796638{
   (a,b ; !a,!b | a,b ; a,!b ; !a,!b), //r18 
   (a,!b ; !a,!b | a,b ; a,!b ; !a,!b), //r19 
   (a,!b ; !a,b | a,!b ; !a,b ; !a,!b), //r20 
   (a,!b ; !a,b | a,b ; a,!b ; !a,b ; !a,!b), //r27 
   (a,b ; a,!b ; !a,b | a,b ; a,!b ; !a,b ; !a,!b), //r29 
   (a,!b ; !a,b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b), //r31 
   (!a,b | a,b ; !a,b), //r33 
   (!a,b | a,!b ; !a,b), //r34 
   (!a,b | !a,b ; !a,!b), //r35 
   (!a,b | a,b ; a,!b ; !a,b), //r37 
   (!a,b | a,b ; !a,b ; !a,!b), //r39 
   (!a,b | a,!b ; !a,b ; !a,!b), //r41 
   (a,b ; !a,b | a,b ; a,!b ; !a,b), //r42 
   (a,b ; !a,b | a,b ; !a,b ; !a,!b), //r43 
   (!a,b ; !a,!b | a,b ; !a,b ; !a,!b), //r45 
   (!a,b ; !a,!b | a,!b ; !a,b ; !a,!b), //r46 
   (!a,b | a,b ; a,!b ; !a,b ; !a,!b), //r47 
   (a,b ; !a,b | a,b ; a,!b ; !a,b ; !a,!b), //r48 
   (!a,b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b), //r49 
   (a,b ; !a,b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b) //r50 
}