条件をより良くするためにどのように再フォーマットできますか？

状態がある

if(exists && !isDirectory || !exists)
{}

どうすれば修正できるので、より理解しやすくなります。

|| 可換なので

if(!exists || (exists && !isDirectory))

同等です。

の2番目の部分では、existsが常に真であるため、以下||をドロップできます&&。

if(!exists || !isDirectory)

または、さらに一歩進んで以下を実行できます。

if(!(exists && isDirectory))

プロセスとして、真理値表を作成することをお勧めします。

e = exists
d = isDirectory

e | d | (e && !d) || !e
--+---+----------------
0 | 0 | 1
0 | 1 | 1
1 | 0 | 1
1 | 1 | 0

これは、単にNAND操作である操作と一致します。

!(exists && isDirectory)

すべてのロジックゲートを覚えていない場合、ウィキペディアにはブートするための真理値表に関する素晴らしいリファレンスがあります。

@ChristofferHammarströmは、の状態とisDirectory結びついている状態について重要なポイントを持ち出しましたexists。彼らは同じリファレンスを参照してくださいと仮定すると、それは参照が存在しない状態を持つことが可能ではないということと、次のようにディレクトリで、真理値表を書くことができます。

e | d | (e && !d) || !e
--+---+----------------
0 | 0 | 1
0 | 1 | n/a
1 | 0 | 1
1 | 1 | 0

n/a関係ない状態を表すために使用されます。許容可能な削減は、いずれか、1または0状態をもたらす可能性がありn/aます。

これを念頭に置いて、!(exists && isDirectory)まだ有効な削減であり、1forになり!e && dます。

ただし、これ!isDirectoryははるかに単純な削減であり、結果は0forになり!e && dます。

読みやすくするために、メソッドにブール条件を抽出します。

if(fileNameUnused())
{...}

public boolean fileNameUnused() {
   return exists && !isDirectory || !exists;
}

または、より良いメソッド名で。このメソッドに適切な名前を付けることができれば、コードの読者はブール条件の意味を理解する必要がありません。

ノーゴーケースを釘付けにして、それが現れたら救済することができます。

while(someCondition) {

    if(exists && isDirectory)
        continue;
        // maybe "break", depends on what you're after.

        // the rest of the code
}

あるいは

function processFile(someFile)
{ 
    // ...
    if(exists && isDirectory)
       return false;
    // the rest of the code
    // ...
}

指摘したとおり、真理値表を使用できます。2番目のステップは、項の数を最小化するためのKVマップです。

ブール代数の法則を使用することも別のアプローチです。

A =存在する
B =！isDirectory
！A =！exists

&& = *
|| = +

[編集]
操作ANDとORは相互に分配的であるため、より単純な変換です。

存在する&&！isDirectory || ！exists
= A * B +！A
=（A +！A）*（B +！A）
= 1 *（B +！A）
= B +！A
[/編集]

存在する&&！isDirectory || ！exists
= A * B +！A
= A * B +！A * 1 // ID
= A * B +！A *（B + 1）// Annihilator
= A * B +！A * B +！A / / Distributivity and Identity
= B *（A +！A）+！A // Distributivity
= B * 1 +！A // Complementation 2
= B +！A // Identity
=！isDirectory || 存在する

または、二重補数（!! x = x）の場合：

A * B +！A
= !!（A * B +！A）
=！（！（A * B）* A）
=！（（！A +！B）* A）
=！（！A * A + ！B * A）
=！（0 +！B * A）
=！（！B * A）
= B +！A
=！isDirectory || 存在する

「！」を使用したくない 式に複数の条件がある場合。より読みやすくするためにコード行を追加します。

doesNotExist = !exists;
isFile = exists && !isDirecotry;
if (isFile || doesNotExist) 
   {}

前述のように、条件は次のように縮小できます。

if (!(exists && isDirectory))

ただし、ディレクトリであることは存在を意味するに違いないと思います。その場合、条件を次のように減らすことができます。

if (!isDirectory)